induced unitary operator

诱导酉算子